1. Logic with prolog

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Prolog (Computer program language),Logic programming

رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988

2. Particles and paradoxes: The limits of quantum logic

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Quantum logic,Philosophy ، Physics

رده :
QC
174
.
12
.
G5P3

3. Particles and paradoxes : the limits of quantum logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Quantum theory

رده :
QC
174
.
12
.
G54
1987